1. Formal correctness of security protocols
پدیدآورنده : Bella, Giampaolo
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer security,، Computers-- Access control,، Cryptography,، Computer networks-- Security measures
رده :
QA
76
.
9
.
A25
.
B44
2007
2. Formal correctness of security protocols
پدیدآورنده : Bella, Giampaolo.
کتابخانه: Central Library of Hamedan University of Technology (Hamedan)
موضوع : ، Artificial intelligence,، Computer security,Access control ، Computers
رده :
QA
76
.
9
.
A25
.
B44
3. Formal correctness of security protocols
پدیدآورنده : Bella, Giampaolo
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Computer security,Access control ، Computers
رده :
QA
76
.
9
.
A25
B45
